MAO: Ownership and Effects for More Effective Reasoning About Aspects
نویسندگان
چکیده
Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant of AspectJ, demonstrates how to simplify reasoning by allowing programmers, if they choose, to declare limits on the control and heap effects of advice. Heap effects, such as assignment to object fields, are specified using concern domains--declared partitions of the heap. By declaring the concern domains affected by methods and advice, programmers can separate objects owned by the base program and by various aspects. When desired, programmers can also use such concern domain annotations to check that advice cannot interfere with the base program or with other aspects. Besides allowing programmers to declare how concerns interact in a program, concern domains also support a simple kind of semantic pointcut. These features make reasoning about control and heap effects easier.
منابع مشابه
Ownership and Effects for more Effective Reasoning about Aspects
Aspect-oriented languages like AspectJ increase the number of places in a program that need to be considered during reasoning. Advice can send messages to and write fields of any object, and can effectively override any method definition. Aspects can also interfere with other aspects. MAO is a variant of AspectJ that demonstrates how to make reasoning easier by allowing programmers, if they cho...
متن کاملتعادل بخشی بین حقوق مالکانه و منافع عمومی در اقدامات نوسازانه شهری (از تعارض منافع تا تعادل حقوق در قوانین سلب و تامین حقوق مالکانه)
Urban development plans define the process of planning for urban improvement based on both Islamic regulations and substantial principals of urbanism. The rights of private ownership are basically emphasized in Iranian constitution. Attempts of urban redevelopment plans are inherently in contrast with the private rights of ownership. Rules and regulations governing the urban systems are con...
متن کاملAn Investigation in Mathematical Performance of Students Who Do Grade-skipping.
The main purpose of this study was to compare the performance of grade-skipped students with their peers in mathematical reasoning and applying. In this study, gender and mathematical self-concept were considered as effective variables. This study was a part of a longitudinal study. The data analysis was performed through repeated measurements and the results showed that in applying math conce...
متن کاملEffective Aid for Hitting the Bull’s Eye; Comment on “It’s About the Idea Hitting the Bull’s Eye”: How Aid Effectiveness Can Catalyse the Scale-up of Health Innovations”
This article studies how six key aid effectiveness principles for “Hitting the bull’s eye” can bring about the scale up of maternal and newborn health (MNH) interventions. These key principles are based on accepted international agreements such as the Paris Declaration on Aid Effectiveness. The results indicate that the six principles should be a guide for recipient countries to take ownership ...
متن کاملOwnership transfer and abstraction KSU CIS TR 2004 - 1 October , 2003
Ownership confinement expresses encapsulation in heap structures, in support of modular reasoning about effects, representation independence, and other properties. This paper studies heap encapsulation from the perspective of substitutability for the class construct of Java-like languages and a particular form of confinement is justified by a representation independence result. A syntax-directe...
متن کامل